Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
611	conduitt! condu Volume 2, Number 2 Department of Computer Science Brown University Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2000-07-06 15:19:07 Computer programming Pascal Object-oriented programming Programming language Computer graphics Computer science Actor model Paris Kanellakis Logic programming Software engineering Computing Programming paradigms
612	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2010-08-28 23:41:19 Logic in computer science Logic programming Automated planning and scheduling Formal methods Conjunctive normal form Situation calculus Planning Domain Definition Language Algorithm Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
613	A Generic Persistence Model for (C)LP Systems J. Correas∗ , J. M. G´omez∗ , M. Carro∗ , D. Cabeza∗ , and M. Hermenegildo∗,∗∗ (∗) School of Computer Science, Technical University of Madrid (UPM) (∗∗) Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2003-09-01 02:44:36 Database management systems Prolog Query languages Deductive database Logic programming Database SQL Predicate Persistence Computing Software engineering Computer programming
614	BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-01-20 05:23:35 Computability theory Formal languages Logic in computer science Lambda calculus Models of computation Reduction strategy Standard ML Function Normal form Theoretical computer science Mathematics Programming language theory
615	BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: Modularity in Meta-Languages Modularity in Meta-Languages Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-02-26 07:20:40 Programming language semantics Procedural programming languages Logic in computer science Denotational semantics ALGOL 68 Standard ML Operational semantics Programming language IMP programming language Programming language theory Software engineering Theoretical computer science
616	The Why of Y Richard P. Gabriel Lucid, Inc. and Stanford University Did you ever wonder how Y works and how anyone could ever have thought of it? In this note I’ll try to explain to you not only how it works, but how s Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 16:00:09 Declarative programming Fixed-point combinator Closure Function Combinatory logic Currying Factorial Binary lambda calculus Mathematics Lambda calculus Software engineering
617	Bigraphical molecular systems Adding dynamics Troels Damgaard1 and Jean Krivine2 1 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-03-13 13:04:46 Computer programming Bigraph Ubiquitous computing D Programming paradigm Logic programming Software engineering Computing Theoretical computer science
618	A Constraint Seeker: Finding and Ranking Global Constraints from Examples Nicolas Beldiceanu1 and Helmut Simonis2? 1 Mines de Nantes, LINA UMR 6241, FRNantes, France Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2011-04-27 04:50:42 Computing Constraint satisfaction problem Constraint Binary constraint Backtracking Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming
619	Journal of Intelligent Information Systems, 19:2, 231–259, 2002 c 2002 Kluwer Academic Publishers. Manufactured in The Netherlands. Hypothetical Temporal Reasoning in Databases∗ MARCELO ARENAS† Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Logical syntax Metalogic Model theory Formal languages First-order logic Situation calculus Frame problem Function Entailment Logic Mathematics Logic programming
620	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-07-24 12:05:06 Lisp programming language Logic in computer science Programming language semantics Reduction strategy Predicate logic Operational semantics Robert Bruce Findler Free variables and bound variables Eval Programming language theory Software engineering Computing

UPDATE